Set of fomula that can be deduced from axioms in some given logic.
Set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.